Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·20h
✅Format Validation
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Cycle 14 (2025) Collection Comparison Reports Now Available
cdlib.org·8h
🏛️OAIS Implementation
Show HN: Code Index MCP – Codebase Indexing Server for LLMs
github.com·22h·
Discuss: Hacker News
🤖Archive Automation
Automated C Solid-State NMR Fingerprint Reconstruction and Temporal Mapping for Carbon Sequestration Monitoring
dev.to·14h·
Discuss: DEV
🧲Magnetic Resonance
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·14h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Building brittle software
blog.kronis.dev·1d
❄️Nix Flakes
CFP: Ethical AI in GLAM: Challenges and Opportunities for Digital Stewardship
archivespublishing.com·13h
🏛Digital humanities
Version control: how I combat the rise of generative AI in the classroom
nature.com·13h
⚡Proof Automation
pdfRest Launches New Sign PDF API Tool for Legally Compliant Digital Signatures
pdfa.org·1d
📄PDF Archaeology
Schizophrenic Zip Files
blog.isec.pl·17h·
Discuss: Hacker News
💣ZIP Vulnerabilities
OWASP ASVS 5.0.0 is here!
scotthelme.ghost.io·1d
🛡️WASM Sandboxing
Why Most eDiscovery Tools and Online Archiving Offerings Are Terrible for Information Governance
blog.x1discovery.com·11h
🔗Data Provenance
How the Lean language brings math to coding and coding to math
amazon.science·9h·
Discuss: Hacker News
🔬Lean
DNS at IETF 123
potaroo.net·5h
🌐DNS Security
The Necessity of Using Archives in Single Page Applications
medium.com·4h·
Discuss: Hacker News
🔌Archive APIs
Knowledge Graph achieves SOTA 94%+ accuracy on RobustQA
webai.com·4d·
Discuss: Hacker News
🤖Archive Automation
Not duplicating messages: a surprisingly hard problem
blog.epsiolabs.com·15h·
Discuss: Hacker News, r/programming
🌊Streaming Systems
Building Paperboy: A Personal Reading Recommendation Engine
joshbeckman.org·11h·
Discuss: Hacker News
🎯Content Recommendation
Manually fixing apt's "Unmet dependencies" error
dustri.org·8h
📦Package Managers